Перевод: с английского на русский

с русского на английский

Method Resolution Order

См. также в других словарях:

  • Resolution of singularities — Strong desingularization of Observe that the resolution does not stop after the first blowing up, when the strict transform is smooth, but when it is simple normal crossings with the exceptional divisors. In algebraic geometry, the problem of… …   Wikipedia

  • Order of the Arrow — Owner …   Wikipedia

  • Resolution (logic) — In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem proving technique for sentences in propositional logic and first order logic. In other words, iteratively applying the… …   Wikipedia

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

  • Order in Council — An Order in Council is a type of legislation in many countries, typically those in the Commonwealth of Nations. In the United Kingdom this legislation is formally made in the name of the Queen by the Privy Council (Queen in Council), but in other …   Wikipedia

  • order — Synonyms and related words: Bronze Star Medal, Croix de Guerre, Distinguished Conduct Medal, Distinguished Flying Cross, Distinguished Service Cross, Distinguished Service Medal, Distinguished Service Order, Distinguished Unit Citation, MO,… …   Moby Thesaurus

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Online dispute resolution — Alternative Dispute Resolution Arbitration …   Wikipedia

  • Condorcet method — Part of the Politics series Electoral methods Single winner …   Wikipedia

  • Crank–Nicolson method — In numerical analysis, the Crank–Nicolson method is a finite difference method used for numerically solving the heat equation and similar partial differential equations.[1] It is a second order method in time, implicit in time, and is numerically …   Wikipedia

  • High-resolution transmission electron microscopy — (HRTEM) is an imaging mode of the transmission electron microscope (TEM) that allows the imaging of the crystallographic structure of a sample at an atomic scale. [cite book |title=Experimental high resolution electron microscopy |last=Spence… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»